Update Rules and Revision Programs

We consider two recently proposed methods for database updating by means of inference rules: a syntactic method proposed by the authors that uses the concept of update rule, and a semantic method proposed by Marek and Truszcy nski, that uses the concept of revision program. We show that the two methods are complementary in the following sense: 1. Using revision programs, we show that update rules enjoy suitable semantic properties. 2. Using update rules, we deene a new class of deterministic revision programs whose result can be obtained constructively. R esum e Nous consid erons dans cet article deux approches de mises a jour des bases de donn ees r ecemment propos ees, qui toutes les deux utilisent des r egles d'inf erence : une approche syntaxique, propos ee par les auteurs, fond ee sur la notion de r egle de mise a jour, et une approche s emantique, propos ee par Marek et Truszcy nski, qui est fond ee sur la notion de programme de r evision. Nous montrons que les deux approches sont compl ementaires en ce sens que : 1. En utilisant les programmes de r evision, on peut montrer que l'approche par r egles de mise a jour a de bonnes propri et es. 2. En utilisant les r egles de mise a jour, on peut d eenir une nouvelle classe de programmes de r evision dont le r esultat peut ^ etre obtenu de mani ere constructive.